AbstractAlgebra.Generic.Frac{Nemo.QQMPolyRingElem}[x5, x4, x3, x2, x1, k2, k4, k3]
